Workload Change Point Detection for Runtime Thermal Management of Embedded Systems
نویسندگان
چکیده
منابع مشابه
Thermal Management in Embedded Systems Using MEMS
1. a exible thermal management system with the capability to remain viable for several generations of increased microprocessor performance and power, 2. simpli cation of the packaging, by eliminating the cooling core concept and replacing it with an innovative \self-ducting" design based on 3-D stacking of computational nodes, 3. microelectromechanical structures (MEMS) that allow active, dynam...
متن کاملProposed Feature Selection for Dynamic Thermal Management in Multicore Systems
Increasing the number of cores in order to the demand of more computing power has led to increasing the processor temperature of a multi-core system. One of the main approaches for reducing temperature is the dynamic thermal management techniques. These methods divided into two classes, reactive and proactive. Proactive methods manage the processor temperature, by forecasting the temperature be...
متن کاملRuntime verification and monitoring of embedded systems
Ensuring the correctness of software applications is a difficult task. The area of runtime verification, which combines the approaches of formal verification and testing, offers a practical but limited solution that can help in finding many errors in software. Runtime verification relies upon tools for monitoring software execution. There are particular difficulties with regard to monitoring em...
متن کاملAutonomic Workload Management for Database Management Systems
........................................................................................................................................... ii Acknowledgements ......................................................................................................................... iii Statement of Originality .........................................................................................
متن کاملRuntime verification of embedded real-time systems
We present a runtime verification framework that allows on-line monitoring of past-time Metric Temporal Logic (ptMTL) specifications in a discrete time setting. We design observer algorithms for the time-bounded modalities of ptMTL, which take advantage of the highly parallel nature of hardware designs. The algorithms can be translated into efficient hardware blocks, which are designed for reco...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
سال: 2016
ISSN: 0278-0070,1937-4151
DOI: 10.1109/tcad.2015.2504875